Pi Calculus, Mobile Processes, Concurrent Theory, Process Algebra
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.orgยท38m
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.orgยท14h
Radicle Collaborative Objects
radicle.xyzยท8h
Double Maths First Thing: Issue 2E
aperiodical.comยท20h
To Trust or Not to Trust: On Calibration in ML-based Resource Allocation for Wireless Networks
arxiv.orgยท38m
Loading...Loading more...